Abstract state machines - PDFSEARCH.IO - Document Search Engine

Abstract state machines
Results: 41

#	Item
21	Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-11-02 07:23:18 Search algorithms Graph connectivity Abstract state machines Egon Börger Breadth-first search Graph Shortest path problem Reachability Graph theory Theoretical computer science Mathematics
22	¨t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:24 Software engineering Abstract state machines Electronic commerce Communications protocol Mondex Smart card Program refinement E Purse Computing Formal methods Payment systems
23	¨ t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:41 Information Abstract state machines E Communications protocol Purse Transmission Control Protocol Computing Data Data transmission
24	¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:46 Theoretical computer science Applied mathematics Computer programming Program refinement Abstract state machines Formal verification Formal specification Communications protocol ALGOL 68 Formal methods Computing Software engineering
25	ASM-Methodik fur ¨ korrekte Systeme (Bachelorarbeit, Praxis-, Forschungs- und Projektmodule, Studentische Mitarbeiter) Abstrakte Zustandsmaschinen (Abstract State Machines, ASMs) sind eine Modellierungs- und Programmier Add to Reading List Source URL: www.informatik.uni-augsburg.de Language: German - Date: 2014-10-23 06:12:04
26	SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-06 05:20:03 Ubiquitous computing Abstract state machines Java Card Espionage Cryptographic protocol Augsburg Cryptography Subscriber identity module Security Smart cards Computing ISO standards
27	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
28	Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages ∗ Kai Chen Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 13:28:14 Scientific modeling Software development Science ISO standards Formal methods Finite-state machine Abstract state machines Metamodeling Generic Modeling Environment Unified Modeling Language Software engineering Models of computation
29	A formal framework for coordinated simulation of heterogeneous service-oriented applications? D. Brugali2 L. Gherardi2 Add to Reading List Source URL: www.best-of-robotics.org Language: English - Date: 2011-10-14 12:34:48 Information technology management Service Component Architecture Abstract state machines Apache Tuscany Component-based software engineering Java Message Service Enterprise application integration Software engineering Computing
30	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-13 08:35:12 Mathematics Models of computation Logic in computer science Logical syntax Metalogic Specification and Description Language Abstract state machines Denotational semantics Operational semantics Logic Theoretical computer science Formal languages